[next] [prev] [prev-tail] [tail] [up]

2.2.7 Integrals 601 to 700

Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.

In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA

Problem 601

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

125 125 96 88 120 107 175 120 114

N.S.

1 1.00 0.77 0.70 0.96 0.86 1.40 0.96 0.91

time (sec)

N/A 0.244 0.079 2.277 0.219 0.285 0.582 0.272 0.038

Problem 602

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 97 88 121 117 160 140 128

N.S.

1 1.00 0.79 0.72 0.98 0.95 1.30 1.14 1.04

time (sec)

N/A 0.252 0.087 2.012 0.197 0.271 1.624 0.273 0.045

Problem 603

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 96 84 119 128 153 135 122

N.S.

1 1.00 0.78 0.68 0.97 1.04 1.24 1.10 0.99

time (sec)

N/A 0.249 0.098 1.969 0.203 0.274 1.653 0.281 9.187

Problem 604

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A B A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

123 123 96 91 121 137 592 131 105

N.S.

1 1.00 0.78 0.74 0.98 1.11 4.81 1.07 0.85

time (sec)

N/A 0.249 0.093 2.138 0.195 0.272 0.531 0.273 9.252

Problem 605

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A B A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 171 162 209 356 304 1147 187

N.S.

1 1.00 0.84 0.79 1.02 1.75 1.49 5.62 0.92

time (sec)

N/A 0.336 0.171 2.044 0.218 0.280 0.963 0.282 0.072

Problem 606

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 170 163 209 303 304 784 187

N.S.

1 1.00 0.83 0.80 1.02 1.49 1.49 3.84 0.92

time (sec)

N/A 0.328 0.163 2.081 0.196 0.270 0.791 0.294 9.239

Problem 607

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

204 204 170 162 209 252 304 469 187

N.S.

1 1.00 0.83 0.79 1.02 1.24 1.49 2.30 0.92

time (sec)

N/A 0.315 0.127 1.966 0.208 0.272 0.702 0.273 0.052

Problem 608

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 171 162 212 202 303 212 187

N.S.

1 1.00 0.86 0.81 1.06 1.01 1.52 1.06 0.94

time (sec)

N/A 0.316 0.139 2.199 0.197 0.359 0.680 0.279 0.052

Problem 609

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 198 171 163 217 211 272 265 215

N.S.

1 1.00 0.86 0.82 1.10 1.07 1.37 1.34 1.09

time (sec)

N/A 0.315 0.163 1.996 0.199 0.385 3.197 0.276 9.285

Problem 610

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

200 200 171 163 215 223 252 258 225

N.S.

1 1.00 0.86 0.82 1.08 1.12 1.26 1.29 1.12

time (sec)

N/A 0.313 0.143 2.405 0.220 0.447 3.285 0.275 9.473

Problem 611

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

196 196 170 163 215 234 241 253 222

N.S.

1 1.00 0.87 0.83 1.10 1.19 1.23 1.29 1.13

time (sec)

N/A 0.325 0.138 2.344 0.198 0.683 3.364 0.274 0.066

Problem 612

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

167 184 225 216 0 1617 0 416 3385

N.S.

1 1.10 1.35 1.29 0.00 9.68 0.00 2.49 20.27

time (sec)

N/A 0.448 0.677 2.840 0.000 0.332 0.000 0.333 9.803

Problem 613

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

149 167 208 168 0 974 0 314 1581

N.S.

1 1.12 1.40 1.13 0.00 6.54 0.00 2.11 10.61

time (sec)

N/A 0.367 0.491 2.050 0.000 0.310 0.000 0.317 9.633

Problem 614

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 167 156 127 0 343 0 203 302

N.S.

1 1.25 1.16 0.95 0.00 2.56 0.00 1.51 2.25

time (sec)

N/A 0.264 0.369 2.109 0.000 0.285 0.000 0.300 0.344

Problem 615

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

134 148 153 112 0 949 0 206 1366

N.S.

1 1.10 1.14 0.84 0.00 7.08 0.00 1.54 10.19

time (sec)

N/A 0.231 0.430 2.218 0.000 0.320 0.000 0.292 9.713

Problem 616

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

160 209 218 188 0 2861 0 656 4412

N.S.

1 1.31 1.36 1.18 0.00 17.88 0.00 4.10 27.58

time (sec)

N/A 0.316 0.640 2.080 0.000 0.331 0.000 0.322 10.611

Problem 617

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

190 270 241 224 0 5142 0 1165 7831

N.S.

1 1.42 1.27 1.18 0.00 27.06 0.00 6.13 41.22

time (sec)

N/A 0.447 0.962 2.092 0.000 0.376 0.000 0.349 11.712

Problem 618

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

781 724 250 739 0 1641 0 424 3481

N.S.

1 0.93 0.32 0.95 0.00 2.10 0.00 0.54 4.46

time (sec)

N/A 1.532 0.845 5.657 0.000 0.615 0.000 0.332 0.478

Problem 619

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

689 751 233 685 0 998 0 316 1625

N.S.

1 1.09 0.34 0.99 0.00 1.45 0.00 0.46 2.36

time (sec)

N/A 1.129 0.611 2.754 0.000 0.490 0.000 0.325 9.917

Problem 620

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

478 545 176 508 0 355 0 203 308

N.S.

1 1.14 0.37 1.06 0.00 0.74 0.00 0.42 0.64

time (sec)

N/A 0.744 0.451 2.578 0.000 0.413 0.000 0.315 9.745

Problem 621

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

538 596 171 527 0 941 0 210 1366

N.S.

1 1.11 0.32 0.98 0.00 1.75 0.00 0.39 2.54

time (sec)

N/A 0.807 0.515 2.514 0.000 0.305 0.000 0.297 9.892

Problem 622

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

663 716 242 722 0 2863 0 659 4471

N.S.

1 1.08 0.37 1.09 0.00 4.32 0.00 0.99 6.74

time (sec)

N/A 1.105 0.770 2.560 0.000 0.331 0.000 0.332 10.510

Problem 623

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

736 823 265 793 0 5149 0 1215 7908

N.S.

1 1.12 0.36 1.08 0.00 7.00 0.00 1.65 10.74

time (sec)

N/A 1.172 1.289 2.623 0.000 0.398 0.000 0.375 11.621

Problem 624

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

263 274 295 341 0 2073 0 589 4090

N.S.

1 1.04 1.12 1.30 0.00 7.88 0.00 2.24 15.55

time (sec)

N/A 0.588 1.425 2.560 0.000 0.531 0.000 0.381 10.345

Problem 625

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

231 244 257 296 0 1370 0 506 1988

N.S.

1 1.06 1.11 1.28 0.00 5.93 0.00 2.19 8.61

time (sec)

N/A 0.455 1.687 2.439 0.000 0.349 0.000 0.377 9.983

Problem 626

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

209 239 233 250 0 679 0 414 704

N.S.

1 1.14 1.11 1.20 0.00 3.25 0.00 1.98 3.37

time (sec)

N/A 0.403 1.444 2.319 0.000 0.314 0.000 0.364 0.442

Problem 627

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

194 201 226 246 0 1385 0 347 2332

N.S.

1 1.04 1.16 1.27 0.00 7.14 0.00 1.79 12.02

time (sec)

N/A 0.310 0.771 2.492 0.000 0.601 0.000 0.347 11.282

Problem 628

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

222 262 274 305 0 3279 0 873 5253

N.S.

1 1.18 1.23 1.37 0.00 14.77 0.00 3.93 23.66

time (sec)

N/A 0.431 1.051 2.610 0.000 0.821 0.000 0.342 11.639

Problem 629

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

265 342 311 347 0 5703 0 1411 8700

N.S.

1 1.29 1.17 1.31 0.00 21.52 0.00 5.32 32.83

time (sec)

N/A 0.516 2.524 2.834 0.000 2.091 0.000 0.433 12.350

Problem 630

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

311 400 359 402 0 8308 0 1998 12290

N.S.

1 1.29 1.15 1.29 0.00 26.71 0.00 6.42 39.52

time (sec)

N/A 0.650 1.786 2.750 0.000 3.244 0.000 0.489 14.250

Problem 631

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

887 856 316 1015 0 2091 0 596 4192

N.S.

1 0.97 0.36 1.14 0.00 2.36 0.00 0.67 4.73

time (sec)

N/A 1.621 1.747 3.239 0.000 0.467 0.000 0.382 0.890

Problem 632

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

811 797 281 862 0 1383 0 492 2031

N.S.

1 0.98 0.35 1.06 0.00 1.71 0.00 0.61 2.50

time (sec)

N/A 1.552 1.784 2.753 0.000 0.336 0.000 0.389 0.536

Problem 633

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

726 776 258 793 0 679 0 418 717

N.S.

1 1.07 0.36 1.09 0.00 0.94 0.00 0.58 0.99

time (sec)

N/A 1.136 1.650 2.422 0.000 0.457 0.000 0.373 0.449

Problem 634

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F B F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

675 676 250 0 0 1371 0 337 2380

N.S.

1 1.00 0.37 0.00 0.00 2.03 0.00 0.50 3.53

time (sec)

N/A 0.980 0.942 0.000 0.000 0.558 0.000 0.352 11.467

Problem 635

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F B F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

739 799 300 0 0 3267 0 875 5300

N.S.

1 1.08 0.41 0.00 0.00 4.42 0.00 1.18 7.17

time (sec)

N/A 1.111 1.146 0.000 0.000 0.898 0.000 0.359 11.713

Problem 636

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

845 911 338 1059 0 5698 0 1397 8777

N.S.

1 1.08 0.40 1.25 0.00 6.74 0.00 1.65 10.39

time (sec)

N/A 1.494 1.835 3.744 0.000 1.154 0.000 0.427 12.378

Problem 637

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

930 1013 379 1162 0 8281 0 2014 12390

N.S.

1 1.09 0.41 1.25 0.00 8.90 0.00 2.17 13.32

time (sec)

N/A 2.055 3.126 4.357 0.000 3.288 0.000 0.510 13.896

Problem 638

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

294 323 346 377 0 1730 0 714 2518

N.S.

1 1.10 1.18 1.28 0.00 5.88 0.00 2.43 8.56

time (sec)

N/A 0.565 2.877 2.643 0.000 0.382 0.000 0.434 0.738

Problem 639

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

279 312 289 329 0 1029 0 596 1015

N.S.

1 1.12 1.04 1.18 0.00 3.69 0.00 2.14 3.64

time (sec)

N/A 0.501 2.150 2.542 0.000 0.538 0.000 0.421 0.531

Problem 640

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

268 284 268 281 0 1753 0 500 3191

N.S.

1 1.06 1.00 1.05 0.00 6.54 0.00 1.87 11.91

time (sec)

N/A 0.508 1.986 2.445 0.000 0.579 0.000 0.428 11.957

Problem 641

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

281 344 340 369 0 3787 0 1064 6163

N.S.

1 1.22 1.21 1.31 0.00 13.48 0.00 3.79 21.93

time (sec)

N/A 0.504 1.669 2.720 0.000 1.243 0.000 0.468 12.188

Problem 642

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F(-1) B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

315 401 357 505 0 5776 0 1642 8961

N.S.

1 1.27 1.13 1.60 0.00 18.34 0.00 5.21 28.45

time (sec)

N/A 0.624 1.660 2.951 0.000 2.451 0.000 0.429 12.813

Problem 643

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

905 894 371 1283 0 1751 0 719 2569

N.S.

1 0.99 0.41 1.42 0.00 1.93 0.00 0.79 2.84

time (sec)

N/A 1.651 3.976 3.141 0.000 0.436 0.000 0.424 10.289

Problem 644

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

846 785 308 1025 0 1037 0 595 1028

N.S.

1 0.93 0.36 1.21 0.00 1.23 0.00 0.70 1.22

time (sec)

N/A 1.426 2.514 2.897 0.000 0.321 0.000 0.440 0.526

Problem 645

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F B F(-1) A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

769 824 287 1080 0 1752 0 502 3204

N.S.

1 1.07 0.37 1.40 0.00 2.28 0.00 0.65 4.17

time (sec)

N/A 1.191 2.243 3.281 0.000 0.386 0.000 0.425 12.302

Problem 646

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F B F(-1) A B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

849 909 367 0 0 3770 0 1068 6238

N.S.

1 1.07 0.43 0.00 0.00 4.44 0.00 1.26 7.35

time (sec)

N/A 1.411 1.853 0.000 0.000 1.263 0.000 0.465 12.085

Problem 647

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F B F(-1) B B

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

920 1001 382 0 0 5779 0 1664 9035

N.S.

1 1.09 0.42 0.00 0.00 6.28 0.00 1.81 9.82

time (sec)

N/A 1.921 2.060 0.000 0.000 3.928 0.000 0.423 12.644

Problem 648

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

214 226 61 194 0 77 0 179 179

N.S.

1 1.06 0.29 0.91 0.00 0.36 0.00 0.84 0.84

time (sec)

N/A 0.439 0.193 4.266 0.000 0.315 0.000 0.715 0.138

Problem 649

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F F(-1) B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

316 363 82 255 0 199 0 0 133

N.S.

1 1.15 0.26 0.81 0.00 0.63 0.00 0.00 0.42

time (sec)

N/A 0.562 0.189 4.620 0.000 0.297 0.000 0.000 0.156

Problem 650

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A A A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

35 42 35 29 45 40 48 48 28

N.S.

1 1.20 1.00 0.83 1.29 1.14 1.37 1.37 0.80

time (sec)

N/A 0.176 0.077 2.352 0.285 0.361 1.703 0.280 9.246

Problem 651

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F(-2) A A A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

58 77 66 47 0 295 80 54 46

N.S.

1 1.33 1.14 0.81 0.00 5.09 1.38 0.93 0.79

time (sec)

N/A 0.203 0.131 2.908 0.000 0.331 1.971 0.282 0.137

Problem 652

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F A F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

427 488 180 364 0 311 0 233 261

N.S.

1 1.14 0.42 0.85 0.00 0.73 0.00 0.55 0.61

time (sec)

N/A 0.783 0.408 5.892 0.000 0.287 0.000 0.395 10.144

Problem 653

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A A F B F B B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

132 157 150 114 0 299 0 216 255

N.S.

1 1.19 1.14 0.86 0.00 2.27 0.00 1.64 1.93

time (sec)

N/A 0.274 0.323 3.080 0.000 0.508 0.000 0.402 0.758

Problem 654

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

205 214 57 183 0 69 0 160 109

N.S.

1 1.04 0.28 0.89 0.00 0.34 0.00 0.78 0.53

time (sec)

N/A 0.422 0.145 2.469 0.000 0.511 0.000 0.657 0.139

Problem 655

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F A B

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

198 226 65 269 0 101 0 152 226

N.S.

1 1.14 0.33 1.36 0.00 0.51 0.00 0.77 1.14

time (sec)

N/A 0.396 0.144 2.664 0.000 0.433 0.000 0.478 9.659

Problem 656

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F C F A B

verified

N/A Yes Yes No TBD TBD TBD TBD TBD

size

272 302 92 444 0 151 0 206 440

N.S.

1 1.11 0.34 1.63 0.00 0.56 0.00 0.76 1.62

time (sec)

N/A 0.520 0.330 2.542 0.000 0.843 0.000 0.677 0.131

Problem 657

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

398 733 564 702 0 274 0 0 0

N.S.

1 1.84 1.42 1.76 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.916 24.778 3.166 0.000 0.099 0.000 0.000 0.000

Problem 658

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

362 693 521 602 0 229 0 0 0

N.S.

1 1.91 1.44 1.66 0.00 0.63 0.00 0.00 0.00

time (sec)

N/A 0.756 24.090 2.700 0.000 0.090 0.000 0.000 0.000

Problem 659

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

322 639 456 584 0 208 0 0 0

N.S.

1 1.98 1.42 1.81 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.671 23.156 2.810 0.000 0.097 0.000 0.000 0.000

Problem 660

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

305 633 419 383 0 216 0 0 0

N.S.

1 2.08 1.37 1.26 0.00 0.71 0.00 0.00 0.00

time (sec)

N/A 0.637 22.446 2.209 0.000 0.087 0.000 0.000 0.000

Problem 661

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

366 695 504 691 0 338 0 0 0

N.S.

1 1.90 1.38 1.89 0.00 0.92 0.00 0.00 0.00

time (sec)

N/A 0.717 11.498 2.158 0.000 0.100 0.000 0.000 0.000

Problem 662

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

444 784 587 793 0 569 0 0 0

N.S.

1 1.77 1.32 1.79 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.848 12.237 2.194 0.000 0.109 0.000 0.000 0.000

Problem 663

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C F(-1) F C F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

497 849 698 0 0 367 0 0 0

N.S.

1 1.71 1.40 0.00 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 1.046 25.708 180.000 0.000 0.101 0.000 0.000 0.000

Problem 664

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

448 799 646 863 0 310 0 0 0

N.S.

1 1.78 1.44 1.93 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 1.039 25.540 4.503 0.000 0.192 0.000 0.000 0.000

Problem 665

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

393 731 560 728 0 273 0 0 0

N.S.

1 1.86 1.42 1.85 0.00 0.69 0.00 0.00 0.00

time (sec)

N/A 0.824 24.549 3.033 0.000 0.167 0.000 0.000 0.000

Problem 666

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

369 702 548 755 0 294 0 0 0

N.S.

1 1.90 1.49 2.05 0.00 0.80 0.00 0.00 0.00

time (sec)

N/A 0.767 24.278 4.110 0.000 0.103 0.000 0.000 0.000

Problem 667

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

358 690 494 727 0 319 0 0 0

N.S.

1 1.93 1.38 2.03 0.00 0.89 0.00 0.00 0.00

time (sec)

N/A 0.705 23.599 4.369 0.000 0.094 0.000 0.000 0.000

Problem 668

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

410 757 585 788 0 521 0 0 0

N.S.

1 1.85 1.43 1.92 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.814 12.176 2.638 0.000 0.110 0.000 0.000 0.000

Problem 669

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

491 839 644 876 0 811 0 0 0

N.S.

1 1.71 1.31 1.78 0.00 1.65 0.00 0.00 0.00

time (sec)

N/A 0.948 12.881 3.774 0.000 0.236 0.000 0.000 0.000

Problem 670

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

566 939 790 1196 0 419 0 0 0

N.S.

1 1.66 1.40 2.11 0.00 0.74 0.00 0.00 0.00

time (sec)

N/A 1.517 26.380 2.815 0.000 0.110 0.000 0.000 0.000

Problem 671

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

494 854 634 1148 0 369 0 0 0

N.S.

1 1.73 1.28 2.32 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.986 24.965 3.220 0.000 0.096 0.000 0.000 0.000

Problem 672

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

457 811 684 1263 0 418 0 0 0

N.S.

1 1.77 1.50 2.76 0.00 0.91 0.00 0.00 0.00

time (sec)

N/A 1.025 25.265 4.900 0.000 0.107 0.000 0.000 0.000

Problem 673

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

430 775 620 1041 0 470 0 0 0

N.S.

1 1.80 1.44 2.42 0.00 1.09 0.00 0.00 0.00

time (sec)

N/A 0.868 24.918 5.585 0.000 0.106 0.000 0.000 0.000

Problem 674

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

420 772 603 912 0 504 0 0 0

N.S.

1 1.84 1.44 2.17 0.00 1.20 0.00 0.00 0.00

time (sec)

N/A 0.904 24.660 6.351 0.000 0.200 0.000 0.000 0.000

Problem 675

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

498 840 660 942 0 772 0 0 0

N.S.

1 1.69 1.33 1.89 0.00 1.55 0.00 0.00 0.00

time (sec)

N/A 0.934 13.425 8.770 0.000 0.281 0.000 0.000 0.000

Problem 676

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

553 920 762 1008 0 1115 0 0 0

N.S.

1 1.66 1.38 1.82 0.00 2.02 0.00 0.00 0.00

time (sec)

N/A 1.036 15.577 5.172 0.000 0.145 0.000 0.000 0.000

Problem 677

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

413 763 575 748 0 273 0 0 0

N.S.

1 1.85 1.39 1.81 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.905 24.942 3.136 0.000 0.092 0.000 0.000 0.000

Problem 678

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

359 696 540 644 0 232 0 0 0

N.S.

1 1.94 1.50 1.79 0.00 0.65 0.00 0.00 0.00

time (sec)

N/A 0.781 24.452 2.752 0.000 0.086 0.000 0.000 0.000

Problem 679

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

317 644 445 597 0 209 0 0 0

N.S.

1 2.03 1.40 1.88 0.00 0.66 0.00 0.00 0.00

time (sec)

N/A 0.665 23.655 2.823 0.000 0.136 0.000 0.000 0.000

Problem 680

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 583 294 396 0 173 0 0 0

N.S.

1 4.29 2.16 2.91 0.00 1.27 0.00 0.00 0.00

time (sec)

N/A 0.588 20.539 2.140 0.000 0.146 0.000 0.000 0.000

Problem 681

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

136 233 186 200 0 66 0 0 0

N.S.

1 1.71 1.37 1.47 0.00 0.49 0.00 0.00 0.00

time (sec)

N/A 0.271 21.300 2.177 0.000 0.081 0.000 0.000 0.000

Problem 682

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

186 634 329 629 0 234 0 0 0

N.S.

1 3.41 1.77 3.38 0.00 1.26 0.00 0.00 0.00

time (sec)

N/A 0.678 10.548 2.476 0.000 0.085 0.000 0.000 0.000

Problem 683

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

382 718 494 706 0 380 0 0 0

N.S.

1 1.88 1.29 1.85 0.00 0.99 0.00 0.00 0.00

time (sec)

N/A 0.751 11.705 2.869 0.000 0.091 0.000 0.000 0.000

Problem 684

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

447 809 599 795 0 632 0 0 0

N.S.

1 1.81 1.34 1.78 0.00 1.41 0.00 0.00 0.00

time (sec)

N/A 0.915 13.083 3.592 0.000 0.106 0.000 0.000 0.000

Problem 685

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

426 773 569 794 0 367 0 0 0

N.S.

1 1.81 1.34 1.86 0.00 0.86 0.00 0.00 0.00

time (sec)

N/A 0.860 24.696 5.943 0.000 0.178 0.000 0.000 0.000

Problem 686

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

363 707 480 693 0 302 0 0 0

N.S.

1 1.95 1.32 1.91 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 0.783 13.130 2.771 0.000 0.223 0.000 0.000 0.000

Problem 687

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

321 653 414 643 0 266 0 0 0

N.S.

1 2.03 1.29 2.00 0.00 0.83 0.00 0.00 0.00

time (sec)

N/A 0.694 15.601 2.150 0.000 0.087 0.000 0.000 0.000

Problem 688

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C A F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

298 634 408 384 0 223 0 0 0

N.S.

1 2.13 1.37 1.29 0.00 0.75 0.00 0.00 0.00

time (sec)

N/A 0.637 12.375 2.211 0.000 0.083 0.000 0.000 0.000

Problem 689

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A B C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

331 671 430 687 0 291 0 0 0

N.S.

1 2.03 1.30 2.08 0.00 0.88 0.00 0.00 0.00

time (sec)

N/A 0.711 11.236 2.374 0.000 0.089 0.000 0.000 0.000

Problem 690

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

406 759 568 815 0 545 0 0 0

N.S.

1 1.87 1.40 2.01 0.00 1.34 0.00 0.00 0.00

time (sec)

N/A 0.827 11.862 3.021 0.000 0.141 0.000 0.000 0.000

Problem 691

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

485 847 616 945 0 909 0 0 0

N.S.

1 1.75 1.27 1.95 0.00 1.87 0.00 0.00 0.00

time (sec)

N/A 0.929 25.473 4.298 0.000 0.510 0.000 0.000 0.000

Problem 692

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F(-1) F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

475 836 700 883 0 564 0 0 0

N.S.

1 1.76 1.47 1.86 0.00 1.19 0.00 0.00 0.00

time (sec)

N/A 1.090 14.813 3.538 0.000 0.108 0.000 0.000 0.000

Problem 693

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

418 767 612 815 0 495 0 0 0

N.S.

1 1.83 1.46 1.95 0.00 1.18 0.00 0.00 0.00

time (sec)

N/A 0.872 13.561 4.335 0.000 0.100 0.000 0.000 0.000

Problem 694

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 732 580 755 0 418 0 0 0

N.S.

1 1.87 1.48 1.93 0.00 1.07 0.00 0.00 0.00

time (sec)

N/A 0.811 24.709 4.219 0.000 0.189 0.000 0.000 0.000

Problem 695

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

368 706 504 700 0 348 0 0 0

N.S.

1 1.92 1.37 1.90 0.00 0.95 0.00 0.00 0.00

time (sec)

N/A 0.776 24.873 2.055 0.000 0.186 0.000 0.000 0.000

Problem 696

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

392 742 602 776 0 459 0 0 0

N.S.

1 1.89 1.54 1.98 0.00 1.17 0.00 0.00 0.00

time (sec)

N/A 0.796 12.117 2.091 0.000 0.092 0.000 0.000 0.000

Problem 697

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

450 803 555 858 0 578 0 0 0

N.S.

1 1.78 1.23 1.91 0.00 1.28 0.00 0.00 0.00

time (sec)

N/A 0.862 12.273 3.553 0.000 0.107 0.000 0.000 0.000

Problem 698

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C B F C F F F(-1)

verified

N/A Yes Yes Yes TBD TBD TBD TBD TBD

size

532 911 638 1000 0 1148 0 0 0

N.S.

1 1.71 1.20 1.88 0.00 2.16 0.00 0.00 0.00

time (sec)

N/A 1.079 25.163 4.068 0.000 0.158 0.000 0.000 0.000

Problem 699

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A A F F B F F F(-1)

verified

N/A Yes Yes N/A TBD TBD TBD TBD TBD

size

151 151 260 0 0 337 0 0 0

N.S.

1 1.00 1.72 0.00 0.00 2.23 0.00 0.00 0.00

time (sec)

N/A 0.224 0.534 0.000 0.000 25.566 0.000 0.000 0.000

Problem 700

Optimal Rubi MMA Maple Maxima Fricas Sympy Giac Mupad

grade

N/A A C C F F A F F(-1)

verified

N/A No Yes Yes TBD TBD TBD TBD TBD

size

558 631 53 40 0 0 85 0 0

N.S.

1 1.13 0.09 0.07 0.00 0.00 0.15 0.00 0.00

time (sec)

N/A 0.532 16.384 2.632 0.000 0.000 2.769 0.000 0.000

[next] [prev] [prev-tail] [front] [up]